On Compiling Structured Interactive Programs with Registers and Voices
نویسندگان
چکیده
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been recently introduced by Stefanescu using register machines and space-time duality, see [13]. In [3,4,5,6] the authors have have introduced and studied structured programming techniques for rv-systems. The aim of the present paper is to define a scenario-based operational semantics for structured rv-programs and to offer a translation from structured rv-programs to rv-programs. The main technical result states that the translation is correct. This is part of an effort to get a running environment for structured rv-programs built up on top of rv-programs.
منابع مشابه
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices
Interactive systems with registers and voices (shortly, rv-systems) are a model for interactive computing obtained closing register machines with respect to a space-time duality transformation (" voices " are the time-dual counterparts of " registers "). In the same vain, AGAPIA v0.1, a structured programming language for rv-systems, is the space-time dual closure of classical while programs (o...
متن کاملInteractive Systems with Registers and Voices
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems with registers and voices); it includes register machines, is space-time invariant, is compositional, may describe computations extending in both time and space, and is applicable to open, interactive systems. To achieve...
متن کاملHigh-level Structured Interactive Programs with Registers and Voices
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been introduced by Stefanescu in 2004 using register machines and space-time duality, see [Stefanescu 2006, Stefanescu 2006b]. Later on, Dragoi and Stefanescu have ...
متن کاملAffordances and limitations of technology: Voices from EFL teachers and learners
With the developments of new technologies appearing very quickly, the attention has been focused more on technology than learning. English centers and institutes have mostly been busy accommodating new programs and technologies and hence have not spent enough time to evaluate the CALL programs and technologies employed to find their affordances and limitations. The present study was an attempt ...
متن کاملRegister assignment in tree-structured programs
Much complex decision-making is performed routinely by the software of a computer system. It is appropriate to study more thoroughly the performance of this built-in decisionmaking, because it can strongly influence the efficiency of the entire system. One objective of compilers is to produce a reasonably efficient machine-language version of a user’s program. Traditionally, one of the best opp...
متن کامل